<script>
  location.replace("19-3.html");
</script>

<a href="19-3.html">19-3.html</a>
